#include <ts7200.h>
#include <debug.h>
#include <user.h>
#include <bwio.h>

void AbortEnter() {
  bwprintf(COM2, "abort!\r\n");
  // TODO: write diagnostic info to memory
  FingerOfDeath();
}
